$\ast$50/50$\ast$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$[(1/2) / [(1/2) / []]]